type identity theory类型同一论
type transformation theory型转化理论
type transform theory型转化理论
learning type organization theory学习型组织理论
von Karman type nonlinear theoryvonKarman型非线性理论
five-type personality theory五态人格
learning-type organization theory学习型组织理论
type-type identity theory类型同一论
integro-type constitutive theory积分型本构理论
Lastly, the problem of software evolution caused by introducing agent model is studied based on an architecture description language named C2 ADL and software architecture type theory.
最后，基于C2 ADL和软件体系结构的类型理论，系统地研究了引入Agent模型产生的软件演化问题。
参考来源 - 基于类型论的ESB智能路由及服务组合